dw 0x259F3D78 ;CRC32(S8500XXJH2)
dw 0x89005D3A ;CRC32(S8500XXJH2)
dw 0xCADB1CB1 ;CRC32(S8500XXJH3)
dw 0xB6DA065A ;CRC32(S8500XXJI3)
dw 0xB7B10DC8 ;CRC32(S8500XXJI3)
dw 0xFD8C6055 ;CRC32(S8500XXJI5)
dw 0x00000000 ;null_marker
dw 0x42486B5C ;MemMMUCacheEnable
dw 0x4249DF34 ;__PfsNandInit
dw 0x4249DE20 ;__PfsMassInit
dw 0x424CA040 ;tfs4_stat
dw 0x424C8EEC ;tfs4_open
dw 0x424C9430 ;tfs4_read
dw 0x424C906C ;tfs4_close
dw 0x424820C8 ;EdbgOutputDebugString
dw 0x425C5080 ;button_pressed
dw 0x425E4000 ;gMMUL1PageTable